x86/mm: prefer is_..._domain() over is_..._vcpu()
authorJan Beulich <jbeulich@suse.com>
Thu, 18 Jun 2015 14:42:26 +0000 (16:42 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 18 Jun 2015 14:42:26 +0000 (16:42 +0200)
commit42ef6ec965cb93e17b485caa860ff09d8a932733
tree998a29d05f21a45fa977e86ad868f940dcdfa10e
parent12fb4a5ac037763713f373416af9f230fbe374ab
x86/mm: prefer is_..._domain() over is_..._vcpu()

... when the domain pointer is already available.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/mm/guest_walk.c
xen/arch/x86/mm/shadow/common.c
xen/arch/x86/mm/shadow/multi.c